Simulation and validation of the ruminal digestion of carbohydrates in cattle from kinetic parameters obtained by in vitro gas production technique