Quantum theory of atom-surface scattering: Commensurate adsorbates