A Library of Accurate Battery Models for Usage in High-Level Power Estimation and Optimization