Human resource allocation in business process management and process mining: A systematic mapping study. Issue 2 (12th February 2018)