Rumen mathematical modelling