Atmospheric refraction and trigonometric leveling