Socially Optimal Product Differentiation