Spherical and Practical Astronomy as Applied to Geodesy