Bases for equational theories of semigroups