A mathematical model to describe the diurnal pattern of enteric methane emissions from non-lactating dairy cows post-feeding