Interval Observer Design for Fractional-Order Models: Application to State Estimation of Batteries