An Analytic Solution to Covariance Propagation in Neural Networks