Цифровые двойники в горном машиностроении, как инструмент повышения эффективности эксплуатации горных машин