Navier-Stokes Equations: theory and numerical methods