Email Record: Mechanization, employment, and output per man in bituminous-coal mining /