Combining carrier-phase and Doppler observations for precise velocity estimation with a stand-alone GPS receiver