Tools and utilities for data mining US Patent Office data