Clearinghouse, Derivatives, futures and options, Central counterparties, CCPs, Bidder selection, Auction theory, Default auctions