The global positioning system: a revolution in navigation, geodesy and surveying