Scott Thompson out as Yahoo CEO