The Minimum Description Length Principle for Pattern Mining: A Survey