Lithium-Ion Battery Formation Modeling And Diagnostics