Proximity and Displacement Sensors Market by End-User 2025