Finite Versus Infinite Neural Networks: an Empirical Study