Engineering functional CO2-fixing modules in E. coli via efficient assembly of cyanobacterial Rubisco and carboxysomes | Synapse