coal mine industry market in indonesia