Terry Semel leaving Yahoo Inc.