Control lyapunov functions and Zubov's method