Theoretical and numerical modeling of dense and porous shape memory alloys accounting for coupling effects of plasticity and transformation