tools or library for mining massive dataset