tools for extracting statistics from wikipedia dump