hall effect sensor Glossary