How are electors to the electoral college chosen