How many books does an average library have?