Proportionally Representative Participatory Budgeting: Axioms and Algorithms · Study