mining equipment market in europe