demand for mining machinery 2018