On the derivation and tuning of phase oscillator models for lamprey central pattern generators