Proteomic investigation of an Escherichia coli terpene production factory: prospects for metabolic engineering