the electromagnetic valve