A Mathematical Exploration of Apportionment Procedures Around the World