Modeling spinal central pattern generators in the salamander at different levels of abstraction : from Hodgkin-Huxley neurons to coupled oscillators