Optimization model of coal mine roadway layout system based on evidence theory and its application | IEEE Conference Publication | IEEE Xplore