Convergence of Large Atomic Congestion Games