Lecture Notes on Regularity Theory for the Navier-Stokes Equations