Maximum a Posteriori Estimation of Height Profiles in InSAR Imaging