Procurement auctions to trade computing capacity in the cloud