Control Lyapunov functions for adaptive nonlinear stabilization