Formulation of geopotential difference determination using optical-atomic clocks onboard satellites and on ground based on Doppler cancellation system