Monitoring of vertical deformations by means high-precision geodetic levelling. Test case: The Arenoso dam (South of Spain)