Mathematical modelling of the interaction between a tracked vehicle and the terrain