nonlinear Schrodinger equation, quasi-periodic solutions, infinite dimensional KAM theory