Gravar-mail: Predicting proteome allocation, overflow metabolism, and metal requirements in a model acetogen