home > > how much is the mining equipment industry worth