Aridas laderas del Teide, PARQUE NACIONAL DEL TEIDE