Exploration of synthetic C1 assimilation pathways and metabolism networks in Escherichia coli