Discovering Compatible Top-K Theme Patterns from Text Based on Users' Preferences