How Big is the Industrial Connectivity Market in 2025?