Additivie Homomorphic ElGamal encryption with range zero-knowledge proof and universal cast-as-intended proofs