Towards Rational Design of Battery Formation Protocols: From Electrochemical Modeling to Factory Deployment | Synapse