Convergence of Sparse Variational Inference in Gaussian Processes Regression