Techniques for bounding the convergence rate of genetic algorithms