Thermodynamically Rigorous Description of the Open Circuit Voltage of Redox Flow Batteries