Estimates of anisotropic Sobolev spaces with mixed norms for the Stokes system in a half-space