Global solvability of a dissipative Fremond model for shape memory alloys. Part I: mathematical formulation and uniqueness