Stabilization of nonlinear systems subject to uncertainties and actuator saturation