Gravar-mail: An extension to the collisional model of the energetic cost of support qualitatively explains trotting and the trot–canter transition