Artificial Intelligence in Future Mining