Multi-Robot Planning on Dynamic Topological Graphs using Mixed-Integer Programming