Optimal recovery in quantum error correction