Theory of freezing point depression in charged porous media.