Doppler measurement integration for kinematic real-time GPS positioning