Navier–Stokes equations/Derivation