Experimental characterization and modelling validation of shape memory alloy Negator springs