Using Digital Technologies for the Intelligentization of Mines