A compression-based framework for the efficient analysis of business process logs