industrial revolution, coal mine, miners