Joint InSAR DEM and deformation estimation in a Bayesian framework