Hiking in Tenerife - Pico del Teide (3718m)