What Is a DC-to-DC Converter?