Mining technology. (2022)