Mathematics for Celestial Navigation