A Guided Tour of the Mathematics of Seat Allocation and Political Districting