Large-width functional asymptotics for deep Gaussian neural networks