Industria minera del carbón de Indonesia