Modeling Simple Genetic Algorithms