Small-time global exact controllability of the Navier–Stokes equation with Navier slip-with-friction boundary conditions