Estimating urban population patterns from stereo-satellite imagery