What is a solenoid switch