que font les ingenieurs industriels dans lindustrie miniere