Global solvability of a dissipative Frémond model for shape memory alloys. Part I : Mathematical formulation and uniqueness