The Mathematics of Social Choice