Parque Nacional del Teide in detail