A genetic algorithm for the computation of initialization sequences for synchronous sequential circuits