Machine Learning in Surface Mining—A Systematic Review | Synapse