The Stone-Čech compactification of a topological semigroup