electric proportional hydraulic pump