Vertical Differentiation and Collusion: Cannibalization or Proliferation?