What is a micro switch, and how is it different from an ordinary switch?