An Executable Model of a Simple Genetic Algorithm