Overflow metabolism in Escherichia coli results from efficient proteome allocation