industrial proximity sensor, sensor for semiconductor