Zenith-angle distributions of atmospheric muons above 20 GeV