Algorithmic and asymptotic properties of groups