Discrete-Time Modeling and Control of Induction Motors by Means of Variational Integrators and Sliding Modes - Part I: Mathematical Modeling