Risk Assessment of Smart Coal Mine Safety Mining Based on BIM | IEEE Conference Publication | IEEE Xplore