Applications of Artificial Intelligence in Mining and Geotechnical Engineering