Global terminal sliding-mode finite-time rotary control of hydraulic roofbolter based on an adaptive observer | Synapse