Vertical Product Differentiation and the Import Demand Function: Theory and Evidence