A Complete Equational Theory for Quantum Circuits