Fermentation of xylose to succinate by enhancement of ATP supply in metabolically engineered Escherichia coli