Для чего нужен датчик холла в электромагнитном замке