"Shape optimization by Bayesian-validated computer-simulation surrogates"