Ab initio and DFT studies on hydrolyses of phosphorus halides