Instantiating the contingent bids model of truthful interdependent value auctions