Strategy for the detection of vertical movements in historical environments from fast high-precision GPS measurements