Epimorphisms, dominions and semigroups