hall effect proximity sensor