Computational study of the substitution effect on the mechanism for phospha-Wittig reaction