The Roman Empire’s massive mining industry polluted Europe’s atmosphere with lead.