Hall-Effect Sensors: Theory and Application