Code-Based Differential GNSS Ranging for Lunar Orbiters: Theoretical Review and Application to the NaviMoon Observables | Synapse