Foundations of social choice theory