Machine Learning in Smart Mining: A Systematic Review of Applications, Algorithms, Benefits, and Challenges | Synapse