Fabrication and modeling of shape memory alloy springs