9,000-year-old rock art of people swimming in what’s now the arid Sahara