How many teams did the player who was traded to Miami for O'Neal play for in his career?