A Framework for Modeling Spot Welds in Finite Element Analysis of Auto-Body Structures