On synchronization of Doppler-stretched GPS signals