Social Choice and the Mathematics of Manipulation