Analytical and Numerical Modelling of Shape Memory Alloy Negator Springs for Long-Stroke Constant-Force Actuators