Model-Based Analysis of the Limiting Mechanisms in the Gas-Phase Oxidation of HCl Employing an Oxygen Depolarized Cathode