Spanner: Google's Globally-Distributed Database - Google, 2012