Constitutive modeling and finite element analysis of the dynamic behavior of shape memory alloys