Using the Global Positioning System (GPS) for geodetic positioning