Human resource allocation in business process management and process mining: A systematic mapping study. Issue 2 (31st January 2018)