Microcosms and macrocosms: Seat allocation in proportional representation systems