minería del carbón en el siglo xix