Nonlinear state-feedback design for vehicle lateral control using sum-of-squares programming