Gravar-mail: Protein engineering strategies for microbial production of isoprenoids