Quantum interactive proofs with short messages