History of Mount Teide