Evaluation of anaerobic digestion post-treatment options using an integrated model-based approach.