Aho-Corasick in PHP