Quantum circuit compilation