¿qué hacen los ingenieros industriales en la industria minera