A thermo-mechanical model for shape memory alloy–based crank heat engines