An augmented Lagrangian coordination method for optimal allocation of cloud manufacturing services. (July 2018)