Convergence Guarantees for Adaptive Bayesian Quadrature Methods