Star Time, World Time, and Regional Time: Astronomical Foundations and Civil Conventions of Timekeeping