Cât de populare erau bibliotecile minerilor? Acolo unde au existat, ce fracțiune de mineri au fost participanți activi?