Redistribution, Inequality, and Efficiency with Credit Constraints