Historia de la minería del carbón en la india