A Mixed Finite Element Approximation for Time-Dependent Navier–Stokes Equations with a General Boundary Condition