Double Oracle Algorithm for Game-Theoretic Robot Allocation on Graphs