Analytical and numerical modeling of shape memory alloy Negator springs for constant-force, long-stroke actuators