of production in indonesia coal mine