Modeling of smart concrete beams with shape memory alloy actuators