El Roque de los Muchachos, punto más alto de la Caldera de Taburiente, PARQUE NACIONAL DE LA CALDERA DE TABURIENTE