Control Design Based on Sum of Squares Programming for Non-affine in Input Systems