Hipótesis sobre la minería del carbón