Home Education E. coli engineered to grow on CO2 and formic acid as sole carbon sources