Machine Checked Proofs of Privacy for Electronic Voting Protocols