Error modeling for GPS geodetic applications