Teide Nationalpark, Teneriffa