The Dual-Baseline Phase Unwrapping Correction Framework for the TanDEM-X Mission Part 1: Theoretical Description and Algorithms | Synapse