Empirical Models of Non-Transferable Utility Matching