El Roque de los Muchachos, punto más alto de la Caldera de Taburiente