Summary of Auction Methodology in the 2008 Lehman CDS Protocol