What is a waterproof micro switch (IP67), and where is it used?