Gas phase ion chemistry and ab initio theoretical study of phosphine. II. Reactions of PH+ with PH3