How does a micro switch work?