Efficient Channel Contracting for Vertically Differentiated Products