hall type proximity sensor