Modeling, Design Exploration, And Optimization Of Shape Memory Alloy Axial Actuators