Measurement of the atmospheric muon spectrum from 20 GeV to 3000 GeV