The Electoral College: what happens after the ballots are counted?