construction and mining equipment market size