Spanner: The always-on, virtually unlimited scale database