Hall effect magnetic proximity sensors