Gravar-mail: Mathematical modeling and analysis of spinal circuits involved in locomotor pattern generation and frequency-dependent left-right coordination