world mining equipment industry history