Finite-Element Modeling of Shape Memory Alloy Components in Smart Structures, Part I: Non-Linear Coupled Field Finite Element Procedure.