The NIST-F2 Atomic Clock: How does it work?