State of Charge Estimation for Lithium-ion Batteries in Electric Vehicles by Transformer Neural Network and L1 Robust Observer.