How many seasons did the player traded for Shaquille O'Neill, in the 2007-08 season, play in the NBA ?