Human-Centered HMI for Crane Teleoperation: Empirical Study on the Operators' Mental Workload | IEEE Conference Publication | IEEE Xplore