How does an electric solenoid valve work