Constructive Lyapunov stabilization of nonlinear cascade systems