Theory of product differentiation in the presence of the attraction effect