hydraulic vs electric mining jacks