A mechanistic model of whole-tract digestion and methanogenesis in the lacteting dairy cow: model development,evaluation, and application