Closed Form Variational Objectives For Bayesian Neural Networks with a Single Hidden Layer