Instantiating the Contingent Bids Model of Truthful Interdependent Value Auctions