Mapping the world's use of electronic voting, the types of system used, and whether they provide voter-verified paper trail