After mapping millions of galaxies, Dark Energy Survey finishes data collection