Hall proximity sensor