timing gps receiver