Программный инструментарий для оптимального функционирования системы управления работы городского пассажирского транспорта с использованием систем спутниковой навигации