Double Auction-Based Manufacturing Cloud Service Allocation in an Industrial Park · Study