Randomized Maximum Likelihood via High-Dimensional Bayesian Optimization