A model of scale effects in mammalian quadrupedal running