population of puerto de la cruz tenerife