Ramsey theory in noncommutative semigroups