Theory and Analysis of Evolutionary Optimization