How Big is the Position Sensor Industry in 2025?