Social Choice in Machine Design