The Algebra of Quasi-Symmetric Functions Is Free over the Integers