Exact marginal prior distributions of finite Bayesian neural networks