The history of the Doomsday Clock