Mathematical Modeling of Lead-Acid Batteries