Machine Learning of Building Characteristics for Probabilistic and Uncertainty-Aware Population Estimates in Environmental Science