Characterization, processing, and alloy design of NiAl-based shape memory alloys