Mining technology (2018)