On Exact Computation with an Infinitely Wide Neural Net