Equipment selection for mining : with case studies /: with case studies. ([2018])