miniature inductive proximity sensor