Provable Accelerated Bayesian Optimization with Knowledge Transfer