A nonlinear plate finite element formulation for shape memory alloy applications