The muon energy spectrum at sea level from the intensities deep underground