Current theory of lead acid batteries