Describir: Digital Twin of the Mining Shaft and Hoisting System as an Opportunity to Improve the Management Processes of Shaft Infrastructure Diagnostics and Monitoring