The Holocene history of a tropical high-altitude lake in central Mexico | Publicación