Social Choice with Non Quasi-linear Utilities