Synthetic biology tools for metabolic engineering in microbes: Isoprenoids as a model system