Pico del Teide, Tenerife