Optimal Licensing Policy Under Vertical Product Differentiation