ESA's Galileo Atomic Clock Explained