Google Cloud Platform Blog: Introducing Cloud Spanner: a global database service for mission-critical applications