Fatigue crack repair in steel bridges using SMA: Mechanism, modeling, and implementation | Synapse