Productivity and unit labor cost in copper mining, 1935-47.