Mines and mining. Productivity and unit labor cost in selected mining industries, 1935-43.