Mixed constellation synchronization of GPS time