What's a Coal Miner to Do? The Mechanization of Coal Mining. · Study