How Big is the Position Sensor Market in 2025?