A Genetic Algorithm for the Computation of Initialization Sequences for Synchronous Sequential Circuits