The origin of leap seconds, and why they should be abolished