Debt default and the insurance of labor income risk