Default risk, bankruptcy procedures and the market value of life insurance liabilities