Optimally-weighted herding is Bayesian Quadrature