Mathematical analysis and simulations of the neural circuit for locomotion in lampreys ;