A thermodynamical formulation for the constitutive modeling of a shape memory alloy with two martensite phases