Model-based Design and Optimization of Vanadium Redox Flow Batteries