Error correction in quantum computing