Astrogeodetic leveling