mining and stone crushing industry in indonesia