Cloud OnAir: Cloud Spanner: How It Works