Mathematics of Social Choice