Process modelling to assess the sequestration and productivity benefits of soil carbon for pasture