Zenith-angle distribution of atmospheric muons above 1 TeV