Equation Discovery with Bayesian Spike-and-Slab Priors and Efficient Kernels