A finite strain kinematic hardening constitutive model based on Hencky strain: general framework, solution algorithm and application to shape memory alloys