The research on virtual reality applied for digitalize education of mining engineer speciality | IEEE Conference Publication | IEEE Xplore