Hall-effect magnetic sensor