Convergence guarantees for adaptive Bayesian quadrature methods