Mathematical modeling and experiments of a half-cell redox flow lithium ion battery system