Nash Convergence of Mean-Based Learning Algorithms in First Price Auctions