inventions de l extraction du charbon pendant la révolution industrielle