A study of optimal allocation of computing resources in cloud manufacturing systems