Ligas com memória de forma no reforço de construções históricas