Cryptographic End-to-end Verification for Real-world Elections