What power source actuates a solenoid valve?