Facts about Coal Mining in the Industrial Revolution