Infinite Words: Automata, Semigroups, Logic and Games (Pure