Instant Runoff Voting#Handling ties