An Introduction to the Mathematical Theory of the Navier-Stokes Equations