Boyer–Moore–Horspool algorithm