btq quantum error correction theory