Combinatorial library design for improving isobutanol production in Saccharomyces cerevisiae