Theory and Analysis of Distributed Coevolutionary Optimization