A methodology for true orthorectification of large-scale urban aerial images and automatic detection of building occlusions using digital surface model.