Studies in the application of the Global Positioning System to differential positioning