Boyer-Moore-Horspool algorithm