Topographic mapping from interferometric synthetic aperture radar observations