Seismic upgrading of RC buildings by buckling-restrained braces: experimental results vs. numerical modelling