Text this: Discontinuous Galerkin finite element approximation of the two-dimensional Navier-Stokes equations in stream-function formulation