An ACO algorithm for the shortest common supersequence problem