Theoretical study of the addition of hydrogen halides to olefins: reaction of dimeric hydrogen fluoride with ethylene