How can buckling-restrained braced frames (BRBFs) be modeled in STAAD.Pro for retrofit analysis? Which properties or parameters need to be modified in the model to accurately represent the behavior of BRBs?