Counting single transferable votes