Technology-dependent Quantum Logic Synthesis and Compilation