“The estimated engineering effort for Google to migrate its internal systems from Bigtable to Spanner was seven staff-millennia.”