Techniques for extracting the gravity frequency shift from GPS signals to determine the orthometric height