Quanto erano popolari le biblioteche dei minatori? Dove esistevano, quale frazione di minatori era partecipante attiva?