Debt overhang and credit risk in a business cycle model