Gromov's theorem on groups of polynomial growth