Renormalized Solutions Navier Stokes Lecture Notes