In its original form the electoral college system for choosing the president specified that the electors would be selected in what way