Zaslat SMS: A pedestrian hopping model and traffic light scheduling for pedestrian-vehicle mixed-flow networks