eddy current proximity sensor