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