indonesian coal mining production for company