Dissecting Non-Vacuous Generalization Bounds based on the Mean-Field Approximation