Theoretical studies of nucleophilic substitution at phosphorus. Phosphine + hydride .fwdarw. H- + PH3