information technology in mining industry