Trends in output per man-hour in mining, 1935-49; July 1950.