Lattice-ordered Monoids