Metabolic engineering of Escherichia coli for the production of butyric acid at high titer and productivity