What is the total number of electors in the Electoral College, which officially elects the President and Vice President?