Teide, Spains highest mountain