How an atomic clock works, and its use in the global positioning system (GPS)