Measurement of the atmospheric muon spectrum from 20 to 3000 GeV