Algebraic Construction of Binary Quantum Stabilizer Codes