free online mining dictionary pdf