On the social (sub)optimality of divisionalization under product differentiation