world mining equipment demand million dollars