Import Prices, Variety and the Extensive Margin of Trade