¿Qué tan populares eran las bibliotecas de los mineros? Donde existían, ¿qué fracción de los mineros eran participantes activos?