Linearization of discrete-time nonlinear systems through state immersion and lie symmetries