Critical Point Methods and Effective Real Algebraic Geometry: New Results and Trends