future technology in the mining industry