A methodology for true orthorectification of large-scale urban aerial images and automatic detection of building occlusions using digital surface model | IEEE Conference Publication | IEEE Xplore