W2SDD theory for computational thermochemistry: study of the addition of hydrogen halide to propene