using carrier phase measurements