Spanner: synchronizing the largest global database with GPSDO stratum 1 in every datacenter