Shape-memory alloys: modelling and numerical simulations of the finite-strain superelastic behavior