Discretization of nonlinear control systems via the Carleman linearization