A survey and benchmark of high-dimensional Bayesian optimization of discrete sequences