Integrated optimization of timetable, bus formation, and vehicle scheduling in autonomous modular public transport systems