Quantum vertex algebras