A box solenoid valve used in a multi-box refrigeration system is operated by electromagnetic action by what control device?