Cloud Spanner and CAP theorem