city to use instant-runoff voting for a mayoral race.