indonesia coal mining industry or market or demand