The One Crucial Difference Between Spanner and CockroachDB