Reconstructing the environmental history of colonial mining: The real del catorce mining district, Northeastern New Spain/Mexico, eighteenth and nineteenth centuries