global mining automation industry 2018