A shakedown analysis of high cycle fatigue of shape memory alloys