Machine Learning in Mining