Optimization and Bayes: A Trade-off for Overparameterized Neural Networks