Top-$k$ Ranking Bayesian Optimization