Streamlining heterologous expression of top carbonic anhydrases in Escherichia coli: bioinformatic and experimental approaches | Synapse