Analysis of pasture supplementation strategies by means of a mechanistic model of ruminal digestion and metabolism in the dairy cow.