coal mining machine use in indonesia