Flat-roofed building reconstruction based on layover modelling and MCMC method | IEEE Conference Publication | IEEE Xplore