Optymalizacyjny model synchronizacji ruchu tramwajów w sieci