Modelling of the machining process of a nickel-titanium based shape memory alloy