Theory of Coevolutionary Genetic Algorithms