Towards optimal resources allocation in cloud manufacturing: new task decomposition strategy and service composition model.