Refraction and Deflection of the Vertical in Trigonometric Leveling.