Multiscale Modeling, Reformulation, and Efficient Simulation of Lithium-Ion Batteries