mining and construction equipment market size china