What happens if the Georgia Senate race ends in a tie?