Geodesy and GPS