Synergistic Lyapunov functions and backstepping hybrid feedbacks