Proteome characterization of three E. coli strains: a methanol-dependent strain (MEvo1-0) and two synthetically methylotrophic strains (MEcoli_ref_1, MEcoli_ref_2)