Metabolic engineering of Saccharomyces cerevisiae for C4-dicarboxylic acid production