Principled Pruning of Bayesian Neural Networks through Variational Free Energy Minimization