Aristoteles, Eudoxus & Lacus Mortis, Astronominsk