The insolvency waterfall and Lehman Brothers