How Are Votes from Electronic Voting Machines Tabulated?