A Real-Time Rescheduling Algorithm for Multi-robot Plan Execution