On efficient high-order semi-implicit time-stepping schemes for unsteady incompressible Navier–Stokes equations