production process of coal mining in indonesia