Time in astronomy