Comparing voting methods for budget decisions on the ASSU ballot