Probing efficient microbial CO2 utilisation through metabolic and process modelling