A faster string search algorithm.