GPS frequency transfer using carrier phase measurements