Yahoo names Carol Bartz as CEO