Mapping the world's topography using radar interferometry: the TOPSAT mission | Synapse