A finite-deformation-based constitutive model for high-temperature shape-memory alloys. (June 2017)