Electric Double Layer Theory