Modeling of saturable inductors for application in DC-DC converters