Development of an unmanned coal mining robot and a tele-operation system | IEEE Conference Publication | IEEE Xplore