Doppler positioning with GPS