global skid steer loader market size