Seol mar théacs é seo: Analysis of aircraft pitch axis stability augmentation system using sum of squares optimization