How does one arrive at the exact number of cycles of radiation a cesium-133 atom makes in order to define one second?