Closing the loop: state of the art in business process analytics