Nonlinear Elasticity: Strain-energy Functions with Multiple Local Minima: Modeling Phase Transformations Using Finite Thermo-elasticity