Plumb-line deflection deviation vertical astro-geodetic astro-geodetic correction deflection deflection gravimetric