Lyapunov functions for stable cascades and applications to global stabilization