Graph Isomorphism: Mixed-Integer Convex Optimization from First-Order Methods