Modeling Mine Virtual Environment Based on Multi-agent | IEEE Conference Publication | IEEE Xplore