histoire des mines de charbon