Convergent adaptive finite elements for the nonlinear Laplacian