Numerical Modeling and Safety Design for Lithium-Ion Vehicle Battery Modules Subject to Crush Loading