A Provable Semi-Infinite Programming Approach for Solving Dynamic Nash Games