Advances in the Theory of Varieties of Semigroups