Analytical modeling of stress-induced martensitic transformation in the crack tip region of nickel-titanium alloys