Dynamic flux balance analysis of batch fermentation: effect of genetic manipulations on ethanol production