Agglomeration, Related Variety, and Vertical Integration