ore mining machine indonesia for ore mining