indonesia coal mining production for company