Multi-robot routing and scheduling with temporal logic and synchronization constraints