A mathematical model of hind-limb control in cats when walking backward