Quantum Theory of Desorption of Adatoms from Solid Surfaces