Theoretical developments and numerical verification of a displacement-based design procedure for steel braced structures