global demand for mining machinery industry