what do industrial engineers do in mining industry