Text this: Transforming mining energy optimization: a review of machine learning techniques and challenges