The Theory of Lattice-Ordered Groups