indonesia coal price and mine 2018