to operate a coal mine in indonesia