Title: Introduction to geodetic astronomy