Finite semigroups: an introduction to a unified theory of pseudovarieties