Very Large-scale Multi-Robot Task Allocation in Challenging Environments via Robot Redistribution