The Kalai-Smorodinski solution for many-objective Bayesian optimization