Quantum error correcting codes