Semi-supervised Embedding Learning for High-dimensional Bayesian Optimization