Online Accurate Estimation of the Wheel-Rail Adhesion Coefficient and Optimal Adhesion Antiskid Control of Heavy-Haul Electric Locomotives Based on Asymmetric Barrier Lyapunov Function.