Lattice-ordered Semigroups