Models of Genetic Algorithms