Optimal Control of the Stokes Equations: A Priori Error Analysis for Finite Element Discretization with Postprocessing | Synapse