how many people make up the us electoral college

538