Provable Quantum Algorithm Advantage for Gaussian Process Quadrature