SMT-Based Dynamic Multi-Robot Task Allocation