Testing of almost all modern hadronic interaction models used in cosmic rays by comparing the calculated atmospheric vertical muon energy spectrum with dataдоклад на конференции