Antarctic grounding line mapping from differential satellite radar interferometry | Synapse