Marriage Markets and Assortative Mating with Household Public Goods: Theoretical Results and Empirical Implications