A brief history of atomic time