Application of a process mining technique to identifying information navigation characteristics of human operators working in a digital main control room - feasibility study.