Do Electronic Voting Machines Allow for Meaningful Audits?