A binomial lattice method for pricing corporate debt and modeling Chapter 11 proceedings