Calculation of atmospheric high-energy neutrino spectra and the measurement data of IceCube and ANTARES experiments