How tall was the player traded by the Charlotte Hornets for B. J. Armstrong during the 1997-98 season?