Was Carol Bartz a good choice to replace Jerry Yang as CEO of Yahoo?