Geodetic measurements to control a large research infrastructure: The Virgo detector at the European Gravitational Observatory