Design and algorithms of the Tiangong-2 interferometric imaging radar altimeter processor | IEEE Conference Publication | IEEE Xplore