Observatorio astronómico del Teide, Tenerife (España)