Understanding the Role of Momentum in Non-Convex Optimization: Practical Insights from a Lyapunov Analysis