Precise measurement of the vertical muon spectrum in the range 20-500 GeV/c