Что такое датчик Холла?