Hydrogen recombination and Σ-desorption from the Ni(100)HCO coadsorption system