magnetic proximity sensor how it works