Constitutive modeling and finite element approximation of B2-R-B19′ phase transformations in Nitinol polycrystals