Algorithmic problems in groups and semigroups (Trends in mathematics, 2000)