Computing Disjoint Paths on Polytopes