Nucleophilic substitution at oxygen: the reaction of phosphine and ammonia with ammonia oxide. An ab initio investigation