Where is the Andalusian polymath who gave his name to a genus of trees buried?