coal mines in the industrial revolution