Licensing under Vertical Product Differentiation: Price vs. Quantity Competition