So, what happens if there is a tie in the electoral college?