Theory of Atomic Recombination on Surfaces