Testing of the VENUS 4.12, DPMJET 2.55, QGSJETII-03 and SIBYLL 2.3 hadronic interaction models via help of the atmospheric vertical muons spectraдоклад на конференции