Optimization design of pushing distance estimation of hydraulic support using the Kalman filter with the covariance improvement. (May 2019)