PAPAL: A Provable PArticle-based Primal-Dual ALgorithm for Mixed Nash Equilibrium