Electronic Tally system for PR-STV