A minimizing principle for the Poisson-Boltzmann equation