Prediction of the structures and vibrational frequencies of oxywater and 1- and 2-hydrotrioxy by the study of oxyhydrogen species, using density functional theory and high level ab initio methods