Procurement auctions to maximize players' utility in cloud markets