Notes on Google Spanner/Cloud Spanner