Did you mix me Formally Verifying Verifiable Mix Nets in Electronic Voting