How Spanner minimizes the need to overprovision