Di- and trioxides of triazolotetrazine: Computational prediction of crystal structures and estimation of physicochemical characteristics.