how does a proximity sensor work