An Algorithm for Precise Reconstruction of InSAR Imaging Geometry: Application to "Flat-Earth" Phase Removal, Phase-to-Height Conversion and Geocoding of InSAR-derived DEMs