System-level characterization of engineered and evolved formatotrophic E. coli strains