Making Votes Count in Local Elections: A Mathematical Appraisal of At-Large Representation