La vertiente este del Pico Teide, PARQUE NACIONAL DEL TEIDE