Extremely amenable semigroups