what is a hall switch