Biosynthesis of single-carbon units in Escherichia coli K12