Acid-catalyzed hydrogenation of olefins. A theoretical study of the hydrogen fluoride and H3O+ catalyzed hydrogenation of ethylene