Prevenzione e salute in miniera: le fonti archivistiche