Analysis of mixed and stabilized space-time finite element methods for the Navier-Stokes equations