What Have We Learned from Market Design?