Network-wide synchronized scheduling of public transport services