Application of Artificial Intelligence in Mining