what is the dewey decimal system and how does it work