Tokyo Keiki directional solenoid valves DG4V and DG5V