Bayesian DEM Reconstruction from SAR and Optical Data