Modeling the LIFT DC-DC Converter in the State Space Discrete Time