Text this: High-precision position control of hydraulic support pushing system based on quasi-sliding mode