鉱山労働者の図書館はどれくらい人気がありましたか?彼らが存在した場所では、マイナーの何パーセントが積極的に参加していたのでしょうか?