Modeling of high-power-factor rectifiers based on switching converters with nonlinear-carrier control