Probabilistic Assortative Matching under Nash Bargaining