虚拟现实技术在煤矿安全生产中的应用