Algebraic Conditions for Stability in Runge-Kutta Methods and Their Certification via Semidefinite Programming.