TANDEM-X: a satellite formation for high-resolution SAR interferometry | Synapse