Saving Millions in Government Procurement Through Data Science and Market Design