home > > world mining equipment industry history