global magnetic sensor market