Spherical and Practical Astronomy: As Applied to Geodesy