Mystery of former crater lakes in the highest mountain range of the Sahara