indonesian coal mining development and company profiles 2018