Global stability of vehicle-with-driver dynamics via Sum-of-Squares programming