A Discrete-Time Battery Model for High-Level Power Estimation