New York City’s mayoral primary to be decided by a ranked choice count after no Democrat gets a majority of the vote