Title: Shape-memory alloys: stress-induced phase transformation, constitutive model, and nonlinear finite-element formulation