Quantitative Carbon Cycle Modelling To Inform Climate Mitigation Policy