Coal Mining in the Industrial Revolution