A quantitative model of the Hoffmann reflex.