Transferable Utility Matching Beyond Logit: Computation and Estimation with General Heterogeneity