Roque de García y Cumbre Vieja 3129 m, PARQUE NACIONAL DEL TEIDE