Astronomy, Ancient astronomy, History of astronomy