The Theory of Flat Cotorsion Modules