Genetic Algorithm for the Weight Maximization Problem on Weighted Automata