Quantum Circuits and Compilation