Mathematics of social choice