An implementation of various Proportional Representation calculation formulas in PHP