Modeling and simulation of battery performance parameters for efficient electrical vehicles and its verification using hardware in loop HIL setup