Quão populares eram as bibliotecas dos mineiros? Onde eles existiam, que fração de mineradores eram participantes ativos?