發送短信: Time-Extended Multi-Robot Task Allocation - A Reoptimization Framework with Provable Performance