Ab initio study of substituent effect on the addition of hydrogen fluoride to fluoroethylenes