Operations modeling and analysis of an underground coal mine | IEEE Conference Publication | IEEE Xplore