Theory of Lattice-Ordered Groups