doi dblp Adiabatic Quantum Computation and Quantum Annealing: Theory and Practice Catherine C. McGeoch 2014