A sum-of-squares approach to consensus of nonlinear leader-follower multi-agent systems based on novel polynomial and fuzzy polynomial models.