Theory, Modeling, and Design Principles of Redox-mediated Electrochemical Systems