A dynamic mechanistic model of lactic acid metabolism in the rumen.