Roques claros de García y el Teide, PARQUE NACIONAL DEL TEIDE