Stable periodic motion of a controlled segmented leg model of pedal locomotion with inelastic ground-foot collision