Calibration of carrier phase GPS receivers