An accurate measurement of the sea-level muon spectrum within the range 4 to 3000 GeV/c