Collision-free time-optimal path parameterization for multi-robot teams