Mining of Real-world Hypergraphs:
Patterns, Tools, and Generators