Bose-Einstein condensation, Gross-Pitaevskii approximation