Efficient collective swimming by harnessing vortices through deep reinforcement learning