electrohydraulic regulator