The TanDEM-X mission: A satellite formation for high-resolution SAR interferometry | IEEE Conference Publication | IEEE Xplore